-
1 представление знаний в виде программ на языке ПРОЛОГ
Information technology: clausal representationУниверсальный русско-английский словарь > представление знаний в виде программ на языке ПРОЛОГ
-
2 представленный в виде программ на языке ПРОЛОГ
Information technology: clausalУниверсальный русско-английский словарь > представленный в виде программ на языке ПРОЛОГ
-
3 утверждение (в языке Пролог)
Information technology: lamentУниверсальный русско-английский словарь > утверждение (в языке Пролог)
-
4 Пролог
1) (славянский церковно-учительский сборник, содержащий краткие жития всех почитаемых правосл. святых по дням года, а тж. рассказы об основных церк. праздниках) the Byzantine calendar, the Greater SynaxarionЕвангельские прологи (прологи на греч. языке к древним Евангелиям от Марка, Луки и Иоанна в Вульгате) — the Old Gospel [Anti-Marcionite] Prologues
2) (в древней Руси - сборник кратких житий, поучений, назидательных повестей, размещённых в порядке церк. календаря) the (early Russian) church calendar -
5 выполнять операцию унификации
Information technology: unify (в языке ПРОЛОГ)Универсальный русско-английский словарь > выполнять операцию унификации
-
6 голова хорновской формулы
Information technology: head (в языке ПРОЛОГ)Универсальный русско-английский словарь > голова хорновской формулы
-
7 левая часть хорновской формулы
Information technology: head (в языке ПРОЛОГ)Универсальный русско-английский словарь > левая часть хорновской формулы
-
8 операция унификации
Information technology: unification (в языке ПРОЛОГ)Универсальный русско-английский словарь > операция унификации
-
9 отсечение
1) General subject: cutting off2) Computers: cut3) Medicine: ablation, abscission, amputation, dissecting away, divulsion4) Military: separation, severance5) Engineering: clipping, dump (парогенератора), windowing (в машинной графике)6) Mathematics: truncation7) Automobile industry: blocking off8) Surgery: excision9) Information technology: clipping (Механизм, запрещающий отображение графического изображения вне установленных границ), cut (в языке ПРОЛОГ), pruning (ветвей в дереве поиска или перебора), scissoring (части графического изображения)10) Oil: scissoring11) Business: cutoff12) Automation: clipping (напр. части информации)13) Robots: pruning (ветвей в дереве поиска)14) Oceanography: thresh -
10 принцип резолюций
1) Computers: resolution principle2) Information technology: resolution principle (в языке Пролог) -
11 сцепленные переменные
Information technology: shared variables (в языке Пролог)Универсальный русско-английский словарь > сцепленные переменные
-
12 хвост (хорновской) формулы
Information technology: tail of a clause (в языке ПРОЛОГ)Универсальный русско-английский словарь > хвост (хорновской) формулы
-
13 хвост хорновской формулы
Information technology: tail of a clause (в языке ПРОЛОГ)Универсальный русско-английский словарь > хвост хорновской формулы
-
14 хвост формулы
Information technology: (хорновской) tail of a clause (в языке ПРОЛОГ) -
15 выполнять операцию унификации
( в языке ПРОЛОГ) unifyРусско-английский словарь по вычислительной технике и программированию > выполнять операцию унификации
-
16 голова хорновской формулы
( в языке ПРОЛОГ) headРусско-английский словарь по вычислительной технике и программированию > голова хорновской формулы
-
17 хвост формулы
( в языке ПРОЛОГ) tail of a clauseРусско-английский словарь по вычислительной технике и программированию > хвост формулы
-
18 квантор существования
( в языке Пролог) existential quantifierРусско-английский индекс к Англо-русскому толковому словарю терминов и сокращений по ВТ, Интернету и программированию > квантор существования
-
19 clausal representation
представление знаний в виде логических выражений, в виде программ на языке ПрологАнгло-русский словарь промышленной и научной лексики > clausal representation
См. также в других словарях:
Пролог (язык программирования) — У этого термина существуют и другие значения, см. Пролог. Пролог Семантика: логическое программирование Появился в: 1972 Автор(ы): Alain Colmerauer Расширение файлов: .pl .pro .P … Википедия
ПРОЛОГ — (греч., от pro прежде, вперед, и logos слово). 1) введение, предисловие, вступление к сочинению, особенно драматическому. 2) в древнегреческих театрах обращение хора к публики перед началом комедии. 3) церковная книга, содержащая краткие слова на … Словарь иностранных слов русского языка
База знаний — (БЗ; англ. knowledge base, KB) в информатике и исследованиях искусственного интеллекта это особого рода база данных, разработанная для оперирования знаниями (метаданными). База знаний содержит структурированную информацию, покрывающую… … Википедия
Искусственный интеллект — Запрос «ИИ» перенаправляется сюда; см. также другие значения. Искусственный интеллект (ИИ, англ. Artificial intelligence, AI) наука и технология создания интеллектуальных машин, особенно интеллектуальных компьютерных программ. ИИ… … Википедия
ИИ — Искусственный интеллект (ИИ) (англ. Artificial intelligence, AI) это наука и разработка интеллектуальных машин и систем, особенно интеллектуальных компьютерных программ, направленных на то, чтобы понять человеческий интеллект. При этом… … Википедия
Искусственный Интеллект — (ИИ) (англ. Artificial intelligence, AI) это наука и разработка интеллектуальных машин и систем, особенно интеллектуальных компьютерных программ, направленных на то, чтобы понять человеческий интеллект. При этом используемые методы не обязаны… … Википедия
Подходы к пониманию проблемы искусственного интеллекта — Искусственный интеллект (ИИ) (англ. Artificial intelligence, AI) это наука и разработка интеллектуальных машин и систем, особенно интеллектуальных компьютерных программ, направленных на то, чтобы понять человеческий интеллект. При этом… … Википедия
Метапрограммирование — Парадигмы программирования Агентно ориентированная Компонентно ориентированная Конкатенативная Декларативная (контрастирует с Императивной) Ограничениями Функциональная Потоком данных Таблично ориентированная (электронные таблицы) Реактивная … Википедия
Экспертная система — (ЭС, англ. expert system) компьютерная система, способная частично заменить специалиста эксперта в разрешении проблемной ситуации. Современные ЭС начали разрабатываться исследователями искусственного интеллекта в 1970 х годах, а в 1980 … Википедия
Экспертные системы — Экспертная система (ЭС, expert system) компьютерная программа, способная заменить специалиста эксперта в разрешении проблемной ситуации. ЭС начали разрабатываться исследователями искусственного интеллекта в 1970 х годах, а в 1980 х получили… … Википедия
Присваивание — Присваивание механизм в программировании, позволяющий динамически изменять связи объектов данных (как правило, переменных) с их значениями. Строго говоря, изменение значений является побочным эффектом операции присвоения, и во многих… … Википедия